ANOTHER FORMAL SPECIFICATION LANGUAGE Copyright c 2000 Erik Saaman ISBNIPA Dissertation Series

Source URL: homepages.cwi.nl

Python basics Xiao-jiang Li, Ph. D Candidate Department of Geography, UCONN Introduction of Python • Python is ideal for non-professional programmers

Source URL: scholarscollab.uconn.edu

• Software engineering
• Software
• Computing
• Data types
• Formal languages
• Free statistical software
• Python
• NumPy
• Pandas
• String
• Scripting language
• Python syntax and semantics

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Staged Self-Assembly and Polyomino Context-Free Grammars A dissertation submitted by Andrew Winslow in partial fulfillment of the requirements for the degree of

Source URL: www.cs.tufts.edu

• Formal languages
• Polyforms
• Mathematical games
• Mathematics
• Polyomino
• Language
• Culture
• Stochastic context-free grammar
• Context-free grammar
• CFGS
• CFG
• Context-free language

Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• ECO
• Postcondition
• Systems Modeling Language
• Object Process Methodology
• Modeling language
• Profile
• Class diagram
• Economic model

Grammar as a Foreign Language arXiv:1412.7449v3 [cs.CL] 9 Jun 2015 Oriol Vinyals∗ Google

Source URL: www.cs.toronto.edu

• Computational linguistics
• Linguistics
• Artificial neural networks
• Artificial intelligence
• Natural language processing
• Computational neuroscience
• Formal sciences
• Long short-term memory
• Deep learning
• Parsing
• Speech recognition
• Recurrent neural network

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem

Source URL: www.delph-in.net

• Grammar
• Cognitive science
• Syntax
• Linguistics
• Language
• Formal languages
• Generative linguistics
• Compiler construction
• Head-driven phrase structure grammar
• Thesis
• Formal grammar
• Parsing